EN FR
EN FR




Section: Dissemination

Animation of the scientific community

  • Formes organizes a weekly seminar which is a major local forum in the area of formal methods, with a steady participation of colleagues who come from the other nearby research institutions, CASIA, ISCAS and Peking University, to attend the presentations. All seminars are announced on our website, as well as the other relevant local seminars or events, in particular those taking place at ISCAS.

  • Jean-Pierre Jouannaud and Zhong Shao (Yale University) have initiated a new conference, the 1st international conference on Certified Programs and Proofs (CPP'11), held on December 7-9 at Kenting, Taiwan. The local organization is done by Tyng-Ruey Chang (Academia Sinica), Yih-Kuen Tsay (NTU) and Bow-Yaw Wang (INRIA and Academia Sinica).

  • Vania Joloboff co-organized with Pr John Koo the first Shenzhen International Summer School on Embedded Systems Design, held at Shenzhen SIAT from July 4-8.

  • Formes organized on April 11-12 the 1st Tsinghua Software Day and Tsinghua Student Day on the occasion of Tsinghua's 100 years anniversary with talks by Pierre-Louis Curien, Zhaohui Luo, Georges Gonthier and Tom Henzinger.

  • Frédéric Blanqui is member of the Steering Committee of the International Conference on Rewriting Techniques and Applications (RTA) from July 2010 to July 2013.

  • Frédéric Blanqui was a PC member of the 22nd International Conference on Rewriting Techniques and Applications (RTA'11), 30 May - 1st June, Novisad, Serbia.

  • Jean-Pierre Jouannaud is a member of the LICS organizing committee.

  • Jean-Pierre Jouannaud is a member of the editorial board of the International Journal of Software and Informatics (IJSI).

  • Jean-Pierre Jouannaud is a guest co-editor of JACM (selection of 3 papers from LICS 2010), and a co-guest editor of LMCS (selection of papers from LICS 2010).

  • Jean-Pierre Jouannaud is a member of the advisory committee of Academia Sinica, Taipei, Taiwan.

  • Jean-Pierre Jouannaud is PC co-chair of CPP 2011, 7-9 December 2011, Kenting, Taiwan.

  • Jean-Pierre Jouannaud participated to the STIC-Asie meeting in Guangdong in June, and the AURA meeting in Hanoi, Vietnam, in November, where he gave talks.